Implementing Standard Examples with NSA-DEVS
نویسندگان
چکیده
منابع مشابه
Isabelle/HOL-NSA — Non-Standard Analysis
2 Filter: Filters and Ultrafilters 13 2.1 Definitions and basic properties . . . . . . . . . . . . . . . . . 13 2.1.1 Filters . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.2 Ultrafilters . . . . . . . . . . . . . . . . . . . . . . . . 13 2.1.3 Free Ultrafilters . . . . . . . . . . . . . . . . . . . . . . 14 2.2 Collect properties . . . . . . . . . . . . . . . . . . . . . . . . . ...
متن کاملIsabelle/HOL-NSA — Non-Standard Analysis
3 Construction of Star Types Using Ultrafilters 14 3.1 A Free Ultrafilter over the Naturals . . . . . . . . . . . . . . . 15 3.2 Definition of star type constructor . . . . . . . . . . . . . . . 15 3.3 Transfer principle . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.4 Standard elements . . . . . . . . . . . . . . . . . . . . . . . . 17 3.5 Internal functions . . . . . . . . . . . . . ....
متن کاملImplementing Fudgets with Standard Widget Sets
Carlsson and Hallgren 1] describe the implementation of a set of \functional widgets" (Fudgets): components for programming graphical user interfaces under the X window system using the non-strict functional programming language Haskell. We describe an alternative implementation based on existing widget sets (currently Openlook and Motif). Our purpose is twofold: to show that the Fudgets approa...
متن کاملImplementing Tile Systems : Some Examples from Process
This work reports on some useful applications of the tile model to the speciication and execution of CCS-like process calculi. This activity is part of our ongoing research on the relation between tile logic and rewriting logic. 1 Overview Tile Logic 1;2 is a framework for modular descriptions of the dynamic evolution of concurrent systems, extending rewriting logic 3;4 (in the non-conditional ...
متن کاملA Middleware Based Standard for DEVS Simulator Interoperability
The growing number of DEVS-based simulation tools has resulted in a need for standards to promote tool interoperability. This paper presents the skeleton of an interoperability standard for DEVS-based simulations. The aim of the standard is to provide services for coordinating the execution of simulation components, where simulation components encapsulate particular implementations of the DEVS ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Simulation notes Europe
سال: 2022
ISSN: ['2305-9974', '2306-0271']
DOI: https://doi.org/10.11128/sne.32.tn.10623